- derivable statement
- выводимое суждение
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
derivable statement
Смотреть что такое "derivable statement" в других словарях:
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Comte and positivism — Robert Brown COMTE’S AIMS The chief aim of all of Auguste Comte’s publications, and the constant mission of his entire working life, was the improvement of human character through the perfecting of human society. He was convinced that the… … History of philosophy
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Vienna Circle — The Vienna Circle (in German: der Wiener Kreis) was a group of philosophers who gathered around Moritz Schlick when he was called to the Vienna University in 1922, organized in a philosophical association named Verein Ernst Mach (Ernst Mach… … Wikipedia
Two Dogmas of Empiricism — W. V. O. Quine s paper Two Dogmas of Empiricism , published in 1951, is one of the most celebrated papers of twentieth century philosophy in the analytic tradition. The paper is an attack on two central parts of the logical positivists philosophy … Wikipedia
